“Dreadnought” Floating Dock for the British Battleships

Battleships as Decision Problem

We define the well-known puzzle of Battleships as a decision problem and prove it to be NPcomplete, by means of a parsimonious reduction. By applying Valiant and Vazirani’s (1986) result we immediately obtain that the variant of this problem, viz. promising that there is a unique solution, is NP-complete as well, under randomized reductions. As this finding is in sheer contrast with the general...

Constraint Programming Models for Solitaire Battleships

The Solitaire Battleships puzzle is described, and a range of constraint programming models are presented. The aim in building these models was to solve difficult instances of the puzzle from CSPLib, without resorting to searching for the solution. These are instances that existing rule-based software for Solitaire Battleships, Fathom It!, cannot solve. The puzzle is quite a challenge to model ...

Evaluation of the respiratory health of dock workers who load grain cargoes in British Columbia.

OBJECTIVES To investigate the respiratory health of dock workers who load grain cargoes. METHODS The respiratory health of 118 dock workers who load grain cargoes in the ports of Vancouver and Prince Rupert was compared with that of 555 grain elevator workers from the same regions. 128 civic workers were used as an unexposed control group. RESULTS The prevalences of chronic cough and phlegm...

Free-surface Wave Interaction with a Thick Flexible Dock or Very Large Floating Platform

In this paper the recently developed semi-analytic method to solve the free-surface wave interaction with a thin elastic plate is extended to the case of a plate of finite thickness. The method used is based on the reformulation of the differential-integral equation for this problem. The thickness of the plate is chosen such that the elastic behavior of the plate can be described by means of th...

Authority in the Dock